51![Mathematizing C++ Concurrency Mark Batty Scott Owens Susmit Sarkar Mathematizing C++ Concurrency Mark Batty Scott Owens Susmit Sarkar](https://www.pdfsearch.io/img/a4859b463c3925d74b8b9ff2934e7d3f.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2010-12-10 02:43:43
|
---|
52![Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1 Relaxed memory models must be rigorous ˇ c´ık3 Susmit Sarkar2 Francesco Zappa Nardelli1 Peter Sewell2 Jaroslav Sevˇ Luc Maranget1 Mark Batty2 Jade Alglave1 1](https://www.pdfsearch.io/img/4aa1cc7b154931a536d2e43f354264f2.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2009-07-13 08:43:45
|
---|
53![A CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency ˇ C ˇ ´IK, Microsoft JAROSLAV SEV VIKTOR VAFEIADIS, MPI-SWS A CompCertTSO: A Verified Compiler for Relaxed-Memory Concurrency ˇ C ˇ ´IK, Microsoft JAROSLAV SEV VIKTOR VAFEIADIS, MPI-SWS](https://www.pdfsearch.io/img/a0d3c290f168eef9b9c6046c15617e6a.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2013-05-16 11:01:24
|
---|
54![Multithreaded semantics for Java Overview The Semantics of Multithreaded Java Multithreaded semantics for Java Overview The Semantics of Multithreaded Java](https://www.pdfsearch.io/img/f2cdedc584f7edfcbff58722825c3265.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 1999-09-22 11:29:01
|
---|
55![Implementing OO Languages under a Weak Memory Order William Pugh∗, Univ. of Maryland, College Park, [removed] Shared Memory Implementing OO Languages under a Weak Memory Order William Pugh∗, Univ. of Maryland, College Park, [removed] Shared Memory](https://www.pdfsearch.io/img/1af8f1d96def82507fa155e22ebcfa00.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2000-01-03 14:40:04
|
---|
56![The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park
Java Memory Model and Thread Specification The Java Memory Model Jeremy Manson, William Pugh Univ. of Maryland, College Park
Java Memory Model and Thread Specification](https://www.pdfsearch.io/img/83a3fff5f9a95f1c342efb25bccefc92.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2003-10-24 05:47:30
|
---|
57![JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 12, 2004, 6:15pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Spe JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 12, 2004, 6:15pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Spe](https://www.pdfsearch.io/img/fb54d6053fb529c26a190ce1a720fc2e.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2004-04-12 18:16:57
|
---|
58![Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002 Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.edu January 11, 2002](https://www.pdfsearch.io/img/34c74e5124ae8a91a7242d8ee4b907f3.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2002-01-11 16:42:23
|
---|
59![JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp](https://www.pdfsearch.io/img/1bc6a105e7e03fb87643c7e8ab663df4.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2004-04-23 12:58:08
|
---|
60![A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e A New Approach to the Semantics of Multithreaded Java Jeremy Manson and William Pugh Institute for Advanced Computer Science and Department of Computer Science University of Maryland, College Park {jmanson,pugh}@cs.umd.e](https://www.pdfsearch.io/img/96eeb582dc6d81e83b7a9edc7d27424a.jpg) | Add to Reading ListSource URL: www.cs.umd.eduLanguage: English - Date: 2003-01-13 16:21:08
|
---|